Analyzing stereotypes of creating graphical user interfaces
نویسندگان
چکیده
منابع مشابه
FGB: A Graphical and Haptic User Interface For Creating Graphical, Haptic User Interfaces
The emerging field of haptics represents a fundamental change in human-computer interaction (HCI), and presents solutions to problems that are difficult or impossible to solve with a two-dimensional, mouse-based interface. To take advantage of the potential of haptics, however, innovative interaction techniques and programming environments are needed. This paper describes FGB (FLIGHT GHUI Build...
متن کاملSecuring graphical user interfaces
ion such as a widget set including buttons, menus, and other basic GUI elements. Performing the transformation of each client’s representation to pixels locally enables the GUI server to predict all graphical primitives that are needed for any screen update and, as a consequence, to estimate overall execution times of redrawing jobs in advance of execution. The sequence of graphical primitives ...
متن کاملGeneric Graphical User Interfaces
It is important to be able to program GUI applications in a fast and easy manner. Current GUI tools for creating visually attractive applications offer limited functionality. In this paper we introduce a new, easy to use method to program GUI applications in a pure functional language such as Clean or Generic Haskell. The method we use is a refined version of the model-view paradigm. The basic ...
متن کاملGraphical User Interfaces for Haskell
User interfaces are normally based on low-level trickery either within the run-time system, or in a separate program which has been connected to the stream I/O system of the language. We present a new twist to this by giving some intelligence to the outside system, which will have greater control of the interface. This has a number of benefits: it makescreating new programs easier, increases th...
متن کاملModel Checking Graphical User Interfaces
Symbolic model checking techniques have been widely and successfully applied to statically analyze dynamic properties of hardware systems. Efforts to apply this same technology to the analysis of software systems has met with a number of obstacles, such as the existence of non-nite state-spaces. This paper investigates abstractions that make it possible to cost-eeectively model check speciicati...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Open Computer Science
سال: 2012
ISSN: 2299-1093
DOI: 10.2478/s13537-012-0020-x